Foundations of German. C. F. Kayser , F. Monteser

T C C F     

We review links between three logic formalisms and three approaches to specifying operational semantics. In particular, we show that specifications written with (small-step and big-step) SOS, abstract machines, and multiset rewriting, are closely related to Horn clauses, binary clauses, and (a subset of) linear logic, respectively. We shall illustrate how binary clauses form a bridge between th...

Decay Constant Ratios F C =f J= and F B =f

We calculate the decay constant ratios f c=fJ= and f b=f . In the calculation we take into account the mock meson structures of the mesons, as well as the di erence of the wave functions at origin of the vector and pseudoscalar mesons studied by Ahmady and Mendel. We nd that the di erent spin structures of the mesons much a ect the ratios. We incorporate our results in the prediction of the bra...

T F S C

The concept of model transformations is of increasing importance in different areas of Computer Science, but up to now, there is a lack of common understanding concerning the mathematical and practical point of view. In this paper, we discuss some of the different aspects. Especially interesting is the new proposal of the POPL’07 keynote speaker Don Batory claiming that model transformations sh...

Pr oo f C

In this paper we address the problem of autonomous navigation in very large unstructured environments. A new hybrid metric map (HYMM) structure is presented that combines feature maps with other metric representations in a consistent manner. The global feature map is partitioned into a set of connected local triangular regions (LTRs), which provide a reference for a detailed multidimensional de...

C . F . S . and